Visibly rational expressions
نویسندگان
چکیده
منابع مشابه
Star-connected rational expressions
Star-connected rational expressions were considered only as expressions defining trace languages. In this paper we continue the study of the class of flat languages defined by this kind of rational expressions (see [5], [4]). We obtain stronger results and prove that any language is star-connected iff it is accepted by a finite automaton with cycles which are proper composition of connected cyc...
متن کاملAutomata and rational expressions
This text is an extended version of the chapter ‘Automata and rational expressions’ in the AutoMathA Handbook [47] that will appear soon, published by the European Science Foundation and edited by Jean-Éric Pin. It contains not only proofs, examples, and remarks that had been discarded due to the severe space constraints induced by the edition of a handbook of very large scope, but also develop...
متن کاملRational and Affine Expressions for Image Description
Culik 11, K . and S . Dube, Rational and affine expressions for image description, Discrete Applied Mathematics 41 (1993) 85-120 . In this paper, the representation, generation and inference of images using automata-theoretic techniques is investigated . It is shown that highly complex images, including "fractal" (self-similar) images, can be manipulated by the application of these techniques ....
متن کاملDerivatives of rational expressions and related theorems
Our aim is to study the set of K-rational expressions describing rational series. More precisely we are concerned with the definition of quotients of this set by coarser and coarser congruences which lead to an extension – in the case of multiplicities – of some classical results stated in the Boolean case. In particular, multiplicity analogues of the well known theorems of Brzozowski and Antim...
متن کاملDerivation of Rational Expressions with Multiplicity
This paper addresses the problem of turning a rational (ie regular) expression into a finite automaton. We formalize and generalize the idea of “partial derivatives” introduced in 1995 by V. Antimirov, in order to obtain a construction of an automaton with multiplicity from a rational expression describing a formal power series with coefficients in a semiring. We first define precisely what is ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Acta Informatica
سال: 2013
ISSN: 0001-5903,1432-0525
DOI: 10.1007/s00236-013-0190-6